Removed the pre() operator which is not allowed in an algorithm section.