added variable m to list of vars in satisfy()