consequents

not defined yet