Tagged specification