proof27a: paris3
proof27a: paris2
proof27a: paris1