Add some facts for some of the alternative level solutions.