TAG: ladder of inference