A system offering computational shortcuts through inconsistency trades formal reliability for conven...