Create RealColinKirbyProposition

No