Ty i ett teoretiskträsonnement