Explicating the Implicit by F. Brom & W. Eefting