Whoops, forgot to add FactTest.cpp