added post on exact expressions