|entries|dedekind-foundations|