A Too-Simple Model of X-Logic
(for noframe browsers)