Modal operators properly capture that 'possibly constructible' and 'actually constructible' have dif...
This proposition has not been edited since the history system was added.