User:Melchoir/Result2/Assumptions