તે એક આદર્શ તર્ક સિમ્યુલેટર છે.