Delete minus1Trunc.v, close #434

Where is `n` going to come from?