Computation is the bridge between specification and existence