- Only part of `class Neumann(object):` is showing --- show all - the word `object` should be removed from the above - use correct theorem and proof environments (ask @mmcky)
