User:Melchoir/Result3/Assumptions