(assert (select)