Putzing around with semantic verification