It's 'moot' btw- in case you picked it up wrong instead of a trivial slip.