Timon Gehr:

I think what you call flip2 should be called flip.

Why?

Bye,
bearophile

Reply via email to