Email Record: Reductive logic and proof-search :