(So_And)