commutator foundational Newbold screenshot Weyl