Initial commit
Change def of steering function from \leq to <

It looks like it was necessary to complete the proof.
However, I can't show any counterexapmle
Add RIP file

Where RIP stands for reflective isotopy property