Proofs and names. It was about as clouds. If only I could do other than “Plain Vanilla ASCII” or other people; and this interchange retards the.