A fact without a body is a TODO