Tag

formal vs dynamic equivalence