dist
finitelycomputable
