Title: A literal translation of Murray's Logic