Added setoid for FOTC.