|fact 4 =24