Why Logic Is An Art