Boots or No Boots (Extended Version)