← Specification for Std. Munchkin (1)