Rules for (folded.folded) and (folded.folded.folded).