moved Classical and Let temporarily into a section where "sorry" is allowed; this makes all test go through

use_thys ["Paper"];