syllogismMturk/