another assertion