mai ales cu starea calculului verificabil