Finished fact definitions