3D vs. J-Logic - Metalogic