Work in progress
Only 1 failing test
Fails but with two vars
Works now for the desired examples
Documented and ready to share