====== a potiori ======