square Deductions power function is for example square ⇐ (square is a power function), (is a is inverse of is for example)