Apparent 'alternatives' to SQML often require auxiliary assumptions (like counterpart theory) that a...
This proposition has not been edited since the history system was added.