 The paradox is often presented in the conditional form discussed above. More formally: let ‘\(\Phi\)’ be a soritical predicate and let ‘\(\alpha_{n}\)’ (where n is a natural number) represent a value in a sorites series for ‘\(\Phi\)’. Then the paradox can be represented most simply this way, using Modus Ponens: