Metalogic: Completeness, 7.5 credits