All discussions of mathematics assume maximal possible pedantry.