Create truth.cpp