proof that assertions don't always pass