Title: Logical Reasoning for ts 1000 and Zx81 With 16K and Cassette (Tape)