Tag fundamental theorem