substitutabilities

not defined yet