Integer programming easily encloses horse
dynomight.substack.com