additions and coherification