Working on mathematical justification