Title: Computers and formal-logic in the legeal process