Back to working on original ProofModel file.  Changed InsertionPoint constructor.