(:= scott1 1)