Fixed the code of the qualitative part and three interesting properties now passes. Ready for explanation.