Narrowing should not be mistaken with verifications