(fact 3) => 6