Remove incorrect assertions