@neilcybart the latter is a consequence of the former.