"Zen of Logic"@cs .