Alex Oliver, Timothy Smiley, Plural Logic