proved by experiment