proof from reset (Kaiser)