1. 0-companion_mat/
  2. 1-iff/