Must( He++ );

Must( I-- );