Middle knowledge by E. Dekker