Some more RAsserts