Some more assertions

Some are commented because falsy. I don't know why they don't work