Profile
□G∨¬◇G,◇G|=G's Avatar
□G∨¬◇G,◇G|=G