Is this behavior verified?