Create TrueStatements.cpp