(gödel) arrays implemented