Assumption rule now correct