blow up if spec doesn't have the property