Play with typing of facts.