Fact with nested fact with variables