Lazy rule 38