finitelycomputable
