Reviewed semantics and transformations