Arbitrary Logic (1987)