Adding extra fact, better minimalization