Проще:
    
    assert not a