Logics of Kerbal Space Program