એબ્સ્ટ્રેક્ટ તર્ક.