x=t∧2 2y=1-t