Created problem class. Trueness sorting. Trueness checking.