Mathematically correct definitions which are not obscured