User:Melchoir/Result1/Assumptions