Changes after adding the abstract rules