Tricky reasoning