Organize proof in modules.