Fundamentals and logic: Cats with Hats problem