Backtracking and have to: Maintaining a Unified Analysis of Conditionals. - Kaeli Shannon Ward (2014)