Messing around with pre and postconditions