Modal Class Formula