Ilpl & Iql iff (for every 4, p= 4 implies q= p)(l) | AMiner