Steffee comments on Automating philosophy if Timothy Williamson is correct