Text this: Buddhist formal logic :