b(c)at (b(c)at)