(^) `in´ syntax
(^) yoda props
(-) bug: one-way collision