Functional; buggy collision detection