 In this way, one can make a distinction between “soft facts” and “hard facts” regarding the past (see Plantinga 1986; de Florio and Frigerio 2016). Following the Ockhamist position, a statement like \(P(x)q\) would correspond to a hard fact, if \(q\) does not depend on the future, whereas statements like \(P(x)F(x)F(y)q\) would represent soft facts. Critics of the Ockhamist position, however, may still say that if \(F(x)F(y)q\) was true \(x\) time units ago, then there must have been something making it true at that time, and that something must have been a hard fact. On the other hand, supporters of the position hold that it is fully conceivable and acceptable that what makes a statement true could also be a soft fact, i.e., something which depends on the future.