Boots or No Boots (Extended Version)

Boots or No Boots (Extended Version)