One more trivial checker proved correct