How does deduction work in rationalism?