5.6ex VI
(Password Required -- see below)

The Café Assistant will do much of the work for you. Simply type in rule names and numbers, press tab, and use a slash or two instead of a sentence. The Café will fill in from there.

For all rules of inference, you may type the justification, then type '/' or '//', TAB, and an approriate sentence will appear.

Reward Link: To use this page and the Café Assistant you'll first need the password. To find out where to get this password, you'll need to complete the SD problem set.

Justification:       Sentence: