Signature:

Abstractions are thus necessary to make simpler downstream studies, and so cause them to become computationally tractable. They can do this simply by