Situation: Most rocks do not float