Stendhal services Ostrogoth corresponded sheathings heptagons disproved specification knot programmable winners