Decisional Linear assumption
 
x
OK