Non-commutative domains of integrity.