Archimedes' principle
Assuming Archimedes' principle to be reformulated as follows,