Right, that's ok then. It still doesn't explain the last part of the expression though (place_meeting(x, y+1, Obstacle)). I know it's not changed by your commit but I'd like to understand why it's there.