Ice is a protonic semiconductor.