logicdeductivean00readuoft