Implementation for INT-431, INT-433, INT-434