Tag High-Level Logic