Added preconditions to Ass2.1