Masking versus eliminating is unclear: if T* and T are extensionally equivalent, the distinction bet...
This proposition has not been edited since the history system was added.