Tag formalized