select Ensure(COUNT(*), COUNT(*) > 3U, "WTF?") from plato.Input;