fromOmelas

I'll try to explain! It's just a quick fix so maybe you'll have a better idea. The problem is in `testp12 p2)` returns T even with testp12 (that I think...