true is synonomous with correct