särskilt med tillståndet för verifierbar beräkning