Simplification; also, made a useful discovery.