Explain proof better in Constructor.