Status rules explicitly encoded