The basics of Mightier Play