Transduction reasoning