0.754

Fixed the openness proof and the intervals thing.

Also, added citations.