Output extended after updating rule 4