More wip on computable etc.