Funktor_(Logik) loading ...