Luis: Q3 version 1
Luis: hotfix a fact definition. Now p2-2 have a correct solution