pub fn refuse(m: &mut Model, reason: Gate) -> Vec<Effect>
A key that cannot work now says why, in the footer (TUI-FRM-10).