Text this: Three views of logic :