{[Proposition 1.2]}{This should NOT be ignored}
 i like apples.
