Completion proof