More fact types introduced