yet another logic family?