On Deductive Methods
(for noframe browsers)