Mathematics is being lazy. Mathematics is letting the principles do the work for you so that you do not have to do the work for yourself