(source [0, 0] - [1, 0]
  (sqr_tup_lit [0, 0] - [0, 2]))
