implementations of computations