Yes, as I said, I think I solve this with Sphere Trace. The first attempt gave results and it gave me an idea of what to do in logic. Thank you again. 
Yes, as I said, I think I solve this with Sphere Trace. The first attempt gave results and it gave me an idea of what to do in logic. Thank you again.