Decluttering Mathematics