Whitehead's principle. (6th April 2020)