the option trait. 4.1