since then many different proofs have been found it is typically needed in fuzzy control systems this was partially due to mccoy's arthritis at the time ibintu ntibyanyemereye kujya mu mahanga