added comments, created server.py
wrote proof, refactored to share helper code with construct
proof methods written, needs debugging
proof code functional