Some work on cats with hats looking for closed form solution