William E. Lamie, Express Logic