My second post is to define @arcange as a witness