Just a question, with the issues with Lagaris's Theorem 6.1. Can we do a seperate research on this matter and find out if we can make it right? How difficult will this be? Think deep and let me know.