Reviewer 2: Explicitly state what : and ~ mean in sections