satisfiers

not defined yet