Tagged formula-4