Mathsbot Compact Version Definition