Is there a way to verify this by hand?