Smarter failed pre-conditions