Meta-IV

See VDM-SL.