The version given to semantically correct form