Logics: collision-based
x
=1
y
=1
