I didn't notice this documentation until now; perhaps this could also be put before each fact?