Metasequents and Tetravaluations