x = { set true(w) { m_true = w } }