#axiom L #rules L -> L[\L[/L]L[/LK]L[/LK]]L[/LLK]LLK K -> K #end rules