Question: what SLS is built on proven?
Answer: The problem is not answerable