Description: Formula building rule for interchangeability (deduction). (Contributed by SN, 4-May-2024)