Logique door Pierre Nicole & Antoine Arnauld