EmptySet -> M
EmptySet -> P
M -> EmptySet
P -> EmptySet