Symbol: sbool_and