+ is not an asubr