Henry Stickmin Logic