Hell Fast
for all f (a is A and f(A) => f(a)