dug up a couple of more uses of 'precondition'