User:Deductionary clause