Gödel_metric loading ...