---

%PDF-1.7 %���� 1 0 obj << /Metadata 3 0 R /Names 4 0 R /OpenAction 5 0 R /Outlines 6 0 R /PageMode /UseOutlines /Pages 7 0 R /Type /Catalog >> endobj 2 0 obj << /Author (David B. Hulak; Arthur F. Ramos; Ruy J. G. B. de Queiroz) /Creator (arXiv GenPDF \(tex2pdf:a6404ea\)) /DOI (https://doi.org/10.48550/arXiv.2604.07626) /License (http://creativecommons.org/licenses/by/4.0/) /PTEX.Fullbanner (This is pdfTeX, Version 3.141592653-2.6-1.40.28 \(TeX Live 2025\) kpathsea version 6.4.1) /Producer (pikepdf 8.15.1) /Title (When Equality Fails as a Rewrite Principle: Provenance and Definedness for Measurement-Bearing Expressions) /Trapped /False /arXivID (https://arxiv.org/abs/2604.07626v1) >> endobj 3 0 obj << /Subtype /XML /Type /Metadata /Length 1701 >> stream endstream endobj 4 0 obj << /Dests 8 0 R >> endobj 5 0 obj << /D [ 9 0 R /Fit ] /S /GoTo >> endobj 6 0 obj << /Count 11 /First 10 0 R /Last 11 0 R /Type /Outlines >> endobj 7 0 obj << /Count 14 /Kids [ 12 0 R 13 0 R 14 0 R ] /Type /Pages >> endobj 8 0 obj << /Kids [ 15 0 R 16 0 R 17 0 R ] /Limits [ (Doc-Start) (subsection.50) ] >> endobj 9 0 obj << /Annots [ 18 0 R 19 0 R 20 0 R 21 0 R ] /Contents [ 22 0 R 23 0 R 24 0 R 25 0 R ] /MediaBox [ 0 0 612 792 ] /Parent 12 0 R /Resources 26 0 R /Type /Page >> endobj 10 0 obj << /A 27 0 R /Next 28 0 R /Parent 6 0 R /Title 29 0 R >> endobj 11 0 obj << /A 30 0 R /Parent 6 0 R /Prev 31 0 R /Title 32 0 R >> endobj 12 0 obj << /Count 6 /Kids [ 9 0 R 33 0 R 34 0 R 35 0 R 36 0 R 37 0 R ] /Parent 7 0 R /Type /Pages >> endobj 13 0 obj << /Count 6 /Kids [ 38 0 R 39 0 R 40 0 R 41 0 R 42 0 R 43 0 R ] /Parent 7 0 R /Type /Pages >> endobj 14 0 obj << /Count 2 /Kids [ 44 0 R 45 0 R ] /Parent 7 0 R /Type /Pages >> endobj 15 0 obj << /Kids [ 46 0 R 47 0 R 48 0 R 49 0 R 50 0 R 51 0 R ] /Limits [ (Doc-Start) (page.1) ] >> endobj 16 0 obj << /Kids [ 52 0 R 53 0 R 54 0 R 55 0 R 56 0 R 57 0 R ] /Limits [ (page.10) (section.31) ] >> endobj 17 0 obj << /Kids [ 58 0 R 59 0 R 60 0 R 61 0 R ] /Limits [ (section.38) (subsection.50) ] >> endobj 18 0 obj << /A << /S /URI /Type /Action /URI (https://orcid.org/0009-0003-3568-0325) >> /Border [ 0 0 0 ] /C [ 0 1 1 ] /H /I /Rect [ 309.589 575.883 317.707 587.579 ] /Subtype /Link /Type /Annot >> endobj 19 0 obj << /A << /S /URI /Type /Action /URI (https://orcid.org/0000-0003-1482-0977) >> /Border [ 0 0 0 ] /C [ 0 1 1 ] /H /I /Rect [ 470.767 575.883 478.885 587.579 ] /Subtype /Link /Type /Annot >> endobj 20 0 obj << /A << /S /URI /Type /Action /URI (http://creativecommons.org/about/licenses) >> /Border [ 0 0 0 ] /C [ 0 1 1 ] /H /I /Rect [ 385.104 65.42 438.096 72.972 ] /Subtype /Link /Type /Annot >> endobj 21 0 obj << /A << /S /URI /URI (https://arxiv.org/abs/2604.07626v1) >> /BS << /W 0 >> /NM (fitz-L0) /Rect [ 12 226.58002 32 565.42 ] /Subtype /Link >> endobj 22 0 obj << /Length 10 /Filter /FlateDecode >> stream x�+��| endstream endobj 23 0 obj << /Filter /FlateDecode /Length 3669 >> stream x��ZKs�6��W�ȩ�0A�6�

---