Motion M0030 and M0031: YES and NO

["Nate Hayes" <nh@xxxxxxxxxxxxxxxxx>]

I vote YES on Motion M0030 Level 1 Constructors because invalid construction
should be treated as undefined operation. However my support is provisional,
since the motion as currently written is incompatible with a standard for
Kaucher/modal intervals.

I vote NO on Motion M0031 Level 1 standard text. I would vote yes if the
"natural interval extention" and "interval extention" are instead defined in
terms of f* and and Semantic Theorem for f* along the lines sketched out in
the attached PDF.

Best regards,

Nate Hayes
Sunfish Studio, LLC

Attachment: P1788modalsketch.pdf
Description: Adobe PDF document