Metalogic view 2