How do you evaluate sec1(1)?