You Are Lying to Your Compiler. Use "satisfies" Instead of "as".

You are lying to the compiler. It is time to stop. I am going to say something that might make some...