mathematical justification