# The distinct modality pattern for the modal logic system S4
=duals
=normal
Lp => p
Lp => LMLp
LMLp => MLp
LMLp => LMp