Two-sided ideal

GPTKB entity