some more assertions, some are commented because falsy. I don't know why they don't work