Remixes of "fact 1.1.2"

Feedback