never assume semantic transparency