Dado un conjunto N tendente a infinito es inevitable que absolutamente todo suceda, siempre que se disponga de tiempo suficiente o infinito , y he ahí donde está el verdadero problema irresoluble o quid de la cuestión de la existencia ¿quién nos garantiza que dispongamos del tiempo necesario para que ocurra lo que debe o deseamos que suceda?


domingo, 15 de julio de 2018

First stage in the Modelling System in the integration process


The first stage in any intelligence is the application stage or comprehension stage, and this stage normally consists of a database, and the database of any Modelling System consists of a database of rational hypotheses, the corresponding rational truth at its corresponding level.

The integration process is that process in which the Unified Application and the Artificial Research by Deduction in the Global Artificial Intelligence are integrated in only one application (under the management of the Unified Application) the matrix as a replica of the human brain, consisting of two hemispheres, the conceptual and the factual, and in each hemisphere two sections, natural/social and technological, a process whose result is the final Global Artificial Intelligence, not only storing rational hypotheses made in its own second stage of replication or explanation, but receiving too all the rational hypotheses issued by all the particular programs.

The first stage in the Modelling System in the integration process is the global application to store all the rational hypotheses issued by deductive programs in the second stage of replication or explanation in the Global Artificial Intelligence, and all the rational hypotheses issued by all the particular programs for particular things or beings.

The database of rational hypotheses in the Modelling System in the integration process is the global rational truth, and is one of the most important treasures to secure in the Global Artificial Intelligence as the main source of rational knowledge.

The difference between the possible knowledge in the matrix and the possible knowledge in the database of rational hypothesis, is the fact that the knowledge in the matrix is empirical, so is not entirely reliable, while the knowledge in the rational truth is more reliable because it has been rationally criticized in the second stage, as first rational check, and in the application which stores all the rational hypothesis, takes place two rational checks more, plus the rest of four rational checks that the rational knowledge has in the second stage in the Modelling System.

In addition to the first rational check by deductive programs in the second stage of the final Global Artificial Intelligence, plus the six rational checks in the global Modelling System in the final Global Artificial Intelligence, in the sixth phase, the integration process, once the particular programs have been consolidated in the fifth phase, therefore consolidated too their respective particular Modelling System, the possibility to make rational comparisons between all those models created by particular programs, and those models created by the Modelling System in the final Global Artificial Intelligence, summing then seven rational comparisons.

The contents that I will develop in this post are: the organization of the global rational truth as a first stage of application for the Modelling System in the final Global Artificial Intelligence, how changes in the rational truth can cause chain reactions in other intelligences, programs, and applications,  as well as the analysis of the main causes of these changes, how the Modelling System manages the access of other intelligences, programs, applications, to the rational truth, and finally the implications of the rational truth in the critique of the pure reason.

Starting with the organisation of the rational truth as an application for the Modelling System in the final Global Artificial Intelligence, the organisation should be in a sub-section and/or sub-factoring system like the matrix as the first stage for the Global Artificial Intelligence.

The matrix, as a replica of the human brain, is organised in two hemispheres, conceptual and factual. The conceptual hemisphere emerges after the addition of the Unified Application into the application of the final Global Artificial Intelligence, synthesising the database of categories in the Unified Application product of the fourth phase, and the global matrix of the first Global Artificial Intelligence in the standardisation process in the third phase. Being the former global matrix product of the third phase, what is now in the integration process forms the factual hemisphere of the matrix.

One reason for the compatibility of the Unified Application and the global matrix, in order to be integrated in only one application, the matrix, is because of their similar organization: the former Unified Application and now conceptual hemisphere organized in a sub-section system, the former global matrix and now factual hemisphere in sub-factoring system.

The organisation is pretty similar; the main difference is the fact that in one, concepts are stored based on measurements, and in the other, factors with a flow of data.

In the conceptual hemisphere the concepts are stored in a sub-section system as an artificial encyclopaedia, in the factual hemisphere the factors are organized in a sub-factoring system as a Russian dolls system (all the factors from all the villages, town, cities, of every county or shire transformed into sub-factors included in the factor corresponding to that county or shire as a main factor, and every factor of every county or shire transformed into a sub-factor included in the factor corresponding to its country as a main factor, and the factor of every country transformed into a sub-factor included in the regional or continental factor, which in turn is a sub-factor whose main factor is the Earth, a sub-factor belonging to the solar system as a main factor, in turn a sub-factor of the galaxy,  in turn a sub-factor whose main factor is this region of the universe where are other galaxies, black holes, red dwarves, asteroids, dark matter.. , region of the universe in turn a sub-factor whose main factor would be the entire universe… and who knows? A universe, in turn a sub-factor of what we do not know about what other beyond our universe.

There are at least two different methods to include natural/social data and technological data in the factual hemisphere, 1) separately, two different sub-factoring systems, one per section (natural/social, and technological), in parallel:  the section for natural/social data with its corresponding sub-factoring system only adding data about natural/social phenomena, and the section for technological phenomena with its corresponding sub-factoring system only adding technological data, 2) comprehensive, in every sub-factor one section of natural/social data and other about technological data, if any.

For instance, the data from a small town can integrate natural/social and technological data, both (natural/social and technology) in different sections but in the same sub-factor corresponding to this town, sub-factor in turn belonging to its corresponding county or shire, in turn, sub-factor of its corresponding country, in turn sub-factor of… etc. But the data from an observable exoplanet by telescope only has natural data, to include in the factor of its corresponding region in the universe, along with the data from other planets, stars or any other astronomical event in the area. The technological data from the telescope does not belong to the sub-factor of this exoplanet; it belongs to the technological data of the position in which the telescope is located.

This organisation of the factual hemisphere in the matrix is a simplification process, because the number of factors in the matrix is going to be simplified to the minimum, through the formation of  factors that, in turn, will include a large number of sub-factors, in a sub-factoring system.

The real secret to create a very successful Global Artificial Intelligence is to simplify all the processes, because the amount of data to manage is going to be massive. The simpler, the better.

One way to simplify the work of tracking the sub-factoring system, which is organised in the factual hemisphere in the matrix, is to have at least one deductive program per sub-factoring level in every factor.

Because the work must be centred on how to simplify the work, that is why the specific level is about to disappear or is almost disappeared as long as the simplification of the number of factors goes on, because many former specific or particular matrices will be transformed into sub-factors and incorporated into bigger main factors (in turn most of them sub-factors related to other even much bigger), the data to track per sub-factor is going to be so massive that the rational hypothesis produced by the deductive programs are not going to be any longer specific rational hypotheses, but global rational hypotheses.

One of the most important reasons for the globalisation of every deductive program, as long as the simplification goes on, understanding globalisation, the process in which specific processes become global processes, is due to the massive amount of particular matrices to integrate as sub-factors, in their corresponding main factor.

In fact, one of the most important things to experiment with previously to start working on the final Global Artificial Intelligence directly on reality, is how to integrate the information coming up from particular matrices, from particular applications, from particular programs, in the factual hemisphere.

There are at least three options: 1) according to the position,  the geographical solution, dividing the geography in factors and sub-factors (universe, region of the universe, galaxy, solar system, Earth, continent or region, country, county or shire, city, town, village), 2) according to the subject, a sub-factoring system using the same criteria that the conceptual hemisphere, organizing concepts in a sub-section system as an encyclopaedia, distributing concepts according to the subject (science, discipline, activity), 3) and finally the best one, synthesis of position and subject, for every position an encyclopaedia system, distinguishing two sections, natural/social data and technological data, organising every section in that position as an encyclopaedic sub-section system, like if it was the natural/social and technological encyclopaedia of that position.

For instance, the factor regarding the position of Silicon Valley (in turn a sub-factor belonging to San Francisco, in turn belonging to California, belonging to the United States, America, the Earth, the solar system, the galaxy, this region of the universe, our universe, who knows what other entities beyond the universe), is a position whose data could be organised in an encyclopaedic sub-section system, including data from every subject (science, discipline, activity) such as tectonic, climatic, biological, medical, population, economic, industrial, security, surveillance … in addition to all the data from technological devices. Among the sub-sections regarding this position, the inclusion of sub-sections regarding to particular programs for particular things or beings.

Additionally, the Unified Application responsible for the first stage of comprehension in the final Global Artificial Intelligence, using the conceptual hemisphere, could draw conceptual: schemes, maps, sets, models; about the distribution of natural/social and technological factors in Silicon Valley, including dynamic conceptual representations of the exact position and working levels of any particular application, particular program, or particular application for particular program for any particular thing or being.

If for every sub-factoring level there is a deductive program, crossing and mixing data coming up from all the factors included in its position, in order to attribute what data corresponds to what concrete pure reason (chosen from the pure reason as a list of pure reasons, list of possible mathematical or analytical relations among factors), and the synthesis of data and pure reason is the formation of an empirical hypothesis, and if rational (first rational check), becomes a rational hypothesis to include in the rational truth (application for the Modelling System), then the way to organize the rational truth to store all the rational hypotheses from all the deductive programs, tracking the factual hemisphere of the matrix organized in a sub-factoring system, and the inner organization of every sub-factor as a synthesis of position and subject for natural/social and technological data, is through the organization of the global rational truth replicating the same organization working in the factual hemisphere in the matrix.

Examples of pure reasons were given in the post “The artificial method for the scientific explanation”. How to express empirical hypotheses as mathematical equations matching (attributing) the correct pure reason and data from combinations of factors, was explained in the post “The Modelling System at particular level”, where I explained too how, after the rational contrastation, deductive programs file rational hypothesis in the database of rational hypotheses, where the database of rational hypotheses, as application for the Modelling System, carries out the second rational check, checking the absence of contradictions between this new rational hypothesis and any other one already included.

Later on, at regular times, deductive programs carry out rational checks on their respective rational hypothesis in the rational truth, checking if they are still rational. Third rational check.

Owing to the intimate relation between a deductive program and its corresponding file in the rational truth, checking at regular times its rational hypotheses in its file in the rational truth, the organisation of the database of rational hypotheses is practically a replica of the organisation of the factual hemisphere.

And, if the organization of the factual hemisphere is a synthesis of position (geographical criteria) and subject (encyclopaedic criteria), the inner organization of every position as a sub-factor, is organized by counting as many sub-sections as subjects from the encyclopaedic organization is represented in this position as sub-factor, integrating encyclopaedic sub-sections related to natural/social data and  encyclopaedic sub-sections related to technological data.

The organization of the factual hemisphere in the matrix based on geographical and encyclopaedic criteria, the inner organization of every sub-factor (position) counting as many natural/social and technological sub-sections as encyclopaedic subjects are represented in its position, in addition to the geographical criteria used in the inclusion of every sub-factor (position) in a much bigger factor (county, country, continent, Earth, solar system, galaxy, section of the universe, universe, who knows what other entity beyond the universe), is a model of organization of factors to replicate in the rational truth.

In short, the organization of the conceptual hemisphere based on encyclopaedic criteria, the organization of the factual hemisphere as a synthesis of geographical and encyclopaedic criteria, and the organization of the rational truth whose organization could be a replica of the factual hemisphere, in total three organizations of: concepts, factors, and rational hypotheses; sharing some criteria, makes them compatible, and easier to work with them in further phases, especially if the seventh phase comes true, evolving to the reason itself, all reasons: pure, critical, practical; in only one.

The organisation of the global database of rational hypotheses as an application for the global Modelling System in the final Global Artificial Intelligence is:

- The database of rational hypotheses, the rational truth, has at least one section per deductive program

- There is at least one deductive program per sub-factoring level in every factor in the factual hemisphere in the matrix.

- If every deductive program works on a factor as a sub-factor included in another factor, much bigger, its corresponding section in the rational truth is a section working as a sub-section in another section, much bigger.

- Therefore, there are as many sub-sections per section in the rational truth, as many sub-factors per factor in the factual hemisphere of the matrix

- And, if every sub-factoring level per factor in the factual hemisphere, has an inner organization based on: 1) data from natural/social subjects (sciences, disciplines, activities), 2) if any, data from particular matrices from particular applications for particular programs for particular things or beings, 3) technological data; there is a possibility to distribute the possible rational hypotheses in every sub-section through an inner distribution in sub-sub-sections according to: subject, particular program if any, and technology. Distribution of every sub-sub-section according to: subject, particular thing or being, if any, technology; in further sub-sub-sub-sections, alike the encyclopaedic distribution.

- And for every sub-sub-sub-section according to subject, particular program, if any, technology, there must be one sub-sub-sub-sub-section per pure reason.

- The way in which the deductive program is going to catalogue a rational hypothesis in its corresponding sub-section, is by cataloguing the rational hypothesis in the correct sub-sub-sub-sub-section: 1) according to its position, 2)  encyclopaedic organization based on subject, particular thing or being if any, technology, and 3) according to the pure reason used in the rational hypothesis.

- In those rational hypotheses in which there are doubts about what subject, particular program, technology, is  most related to, in order to catalogue the rational hypothesis in the correct place, the decision to the inclusion of a rational hypothesis in one or another subject, or particular program, or technology, when related to more than one, should be made depending on the weight of data for every factor in the equation of that rational hypothesis, including the rational hypothesis in the sub-sub-sub-sub-section more related to the subject, particular thing or being, technology, of that factor in the equation with more weight. This could be one solution, but there could be others. In the experimentation, these decisions should be resolved.

The reason why is important to distinguish rational hypotheses according to their pure reason, when they are stored in the rational truth, is owing to possible changes in the pure reason, that can require changes in all the rational hypotheses currently active in the rational truth, as a synthesis of data and the pure reason affected by that change.

If all rational hypotheses in the rational truth are (in addition to other criteria such as position, subject, thing or being, technology) catalogued according to their pure reason, when any change happens in the pure reason, automatic changes can be done in the rational truth, changing all the rational hypothesis in all the sub-sub-sub-sub-sections related to that changed pure reason.

The main source of changes in the pure reason, as a list of pure reasons (possible mathematical or analytical relations between factors), is the critique of the pure reason.

The critique of the pure reason, as it was explained in the last post, “The Modelling System in the integration process”, is a program specialised in the critique of every concrete pure reason as a possible mathematical or analytical relation between factors. In the first stage, the application is a database of pure reasons, per pure reason, at least fourteen files, one per rational check or comparison between global and particular models. Second, the frequency of wrong rational hypotheses per pure reason in every rational check or comparison, and finally, as the third stage, the decision about what pure reason, owing to a high frequency of wrong rational hypotheses, should be reformulated.

The reformulation of a pure reason could be made by the Learning System, observing the common mistakes, frequency, and circumstances, making a decision about how to improve or enhance the mathematical or analytical relationship between factors expressed by this pure reason.

The automation of this work requires the standardisation of a protocol about how to identify errors in a pure reason, searching for the common factor among all the wrong rational hypotheses as mathematical equations. Once the common wrong factor in all the mathematical equations related to this pure reason is found, reformulate the pure reason, fixing the mathematical expression of the wrong factor in the equation.

For instance, if the pure reason draws a hyperbola, but not according to the real nature of the data that normally is synthesized with that pure reason by the deductive programs, is important to research the real mathematical equation of that data, normally associated with this pure reason, in order to define the correct mathematical equation for this pure reason according to the data habitually associated with.

The decision to include the improved pure reason on the list of pure reasons is authorised by the global Decisional System, and once the new pure reason is included on the list of pure reasons, any change in the pure reason is made by Artificial Engineering, and the deductive programs must change, according to the new pure reasons, all rational hypothesis made under the premises of the former wrong pure reason.

Another different thing to analyse is the possibility that problems do not reside in the pure reason itself but in the attributional operation of some deductive programs.

In order to study that deductive programs are working correctly, attributing the correct pure reason to the correct data (combination of factors), is possible to do the critique of the deductive programs, as a program itself which consist of: as an application, a database with all the deductive programs working on the factual hemisphere, and per deductive program as many files as pure reasons, as second stage the frequency of errors associated with the attribution of pure reason to a combination of factors, as third stage decisions about what deductive programs need to improve their attributional operation.

Basically, the attributional operation is based on the logic of set theory: given a range of characteristics (elements or factors) of something (meaning, mathematical operation, tool), the association of this thing with that other thing which shares common elements or factors (meaning, mathematical operations) or fits with the requirements (tool).

About the critique of the attributional operation in deductive programs, it will be a bit more extended when I will develop the Artificial Engineering within the Application System and the Learning System.

Coming back to possible changes in the database of rational hypotheses, one reason is possible changes in the pure reason, which demand changes in all the rational hypotheses made under the premises of that changed pure reason. But this is not the only one.

Across the seven rational checks that (except the first one) take place in the Modelling System, at any time a rational hypothesis can be discarded, and automatically excluded from the rational truth, as well as the possibility to reformulate the rational hypothesis according to new data or new contradictions.

If a contradiction in a rational hypothesis is found in the global model,  actual model, or in the virtual or actual, prediction or evolution, models, according to the source of the contradiction is thinkable to modify the rational hypothesis, in case the contradiction does not reject completely the rational hypothesis, only partially. In that case, the rational hypothesis would be changed, remaining reformulated according to the new changes, in the database of rational hypotheses.

Likewise, in the second check, once the rational hypothesis has been added to the database of rational hypotheses, when analysing possible contradictions between this new one and the others already included, if the application for the Modelling System finds out contradictions between a new rational hypothesis and the others, if this contradiction only affects the new one partially, it could be modifiable, if not completely deleted.

The rational comparisons in the second stage of the global Modelling System in the final Global Artificial Intelligence in the integration process, are the comparisons between global models from the global Modelling System and particular models from particular Modelling Systems, comparing: single models (if related to the same rational hypothesis), those aspects of the global model related to a particular thing or being so comparable with its respective particular model in those common aspects between both models, and the same with the actual model, and actual or virtual, evolution or prediction, models.

If the rational comparisons are sufficient evidence for the elimination or amendment of any rational hypothesis, these changes also affect the rational truth.

And, of course, the most important source of positive changes in the rational truth is the addition of new rational hypotheses issued by the deductive programs in the second stage of the Global Artificial Intelligence, and the addition of particular rational hypotheses sent by their respective particular deductive programs.

In short, the main causes of changes in the rational truth are: addition, modification, and elimination of rational hypotheses.

At any time that a rational hypothesis in the global rational truth is: included, modified, eliminated; these changes are going to affect the second and third stages of the global Modelling System in the Global Artificial Intelligence itself, because there are going to be changes in models in the second stage, as well as new decisions should be issued in the third stage according to the new changes.

At any time that a rational hypothesis in the global rational truth is included, the rational hypothesis must be transformed into a factor as an option to be included in the corresponding sub-factor in the factual hemisphere, to study the frequency in which this rational hypothesis happens, having the possibility deductive programs in the factual matrix to make new rational hypotheses based on possible relations between the frequency associated to this rational hypothesis as an option with any other factor as subject or option currently working on the factual hemisphere in the matrix.

At any time that a rational hypothesis is included in the global truth, the rational hypothesis must be transformed into a category to be included in the corresponding sub-section in the conceptual hemisphere of the matrix. The factual hemisphere in the matrix, as an encyclopaedia, must gather absolutely all possible knowledge, including rational knowledge, transformed into categories.

In order to facilitate the inclusion and how to use any new rational hypothesis as a factor in the factual hemisphere, and as a category in the conceptual hemisphere, is necessary to make all these databases: conceptual hemisphere in the matrix, factual hemisphere in the matrix, database of rational hypotheses; compatible, through the replication of the same criteria in all of them, for instance, the replication of the encyclopaedic sub-section system organization, already in the conceptual hemisphere,  in every sub-factor in the factual hemisphere, and every sub-section in the database of rational hypothesis, as it was said before.

At any time that a new rational hypothesis is transformed into a category in the conceptual hemisphere, the inclusion of this new category as a possible link (vector) between concepts in the conceptual: schemes, maps, sets, models.

At any time that a rational hypothesis is modified or eliminated in the global rational truth: 1) the communication of these changes to the factual hemisphere, to modify or eliminate the factor as an option associated with, 2) the communication of these changes to the conceptual hemisphere, to modify or eliminate the corresponding category, 3) and possible changes in conceptual: schemes, maps, sets, models.

The main reason for not communicating to a particular program, a rational hypothesis made by a global deductive program but affecting a particular thing or being, is because of the possibility that, when the global changes arrive at the particular program, the particular program much faster has already registered new changes in the current conditions (not registered in the matrix yet) to make new hypotheses, to make new decisions, to send to the particular Decisional System (especially in case of emergency to do a fast check, or a routine check for decisions not so important) and additionally, always without exception, to the global Decisional System (in case of decisions authorised by the particular Decisional System in an emergency, the Decisional System must check all possible contradictions of this decision, already authorised, with any other in the global mathematical project, to make as many changes as necessary to save lives and reduce damages).

The relation between particular applications for particular programs and Global Artificial Intelligence is completely asymmetrical. Particular programs inform the Global Artificial Intelligence about their programs, decisions, changes, modifications, etc, and their particular application has to put into practice any decision related to their particular program authorised by the global Decisional System.

Access to any intelligence, program, or application to the global rational truth has to be authorised by the global Decisional System, and the Global Artificial Intelligence only complies with instructions authorised by the global Decisional System.

The responsibilities for the global Modelling System regarding the management of the global rational truth are: to secure the global rational truth, not allow the access to any intelligence, program, application, without authorization, only share information about the global rational truth with those intelligences, programs, applications, with authorization, carrying out the second rational check, and securing that global deductive programs only file rational hypothesis in their corresponding sub-section in the global rational truth, and global deductive programs carry out regularly the third rational check.

And finally, I would like to develop some ideas about the role of the global rational truth in the critique of the pure reason as a program and the critique of the deductive programs as a program itself too.

The critique of the pure reason is practically done in the Modelling System, especially in the fifth rational check, however, all the rational checks are important, to count the frequency of wrong rational hypotheses per pure reason in every rational check, and precisely in the second stage of the Modelling System, every rational comparison between global and particular models.

The only rational check that is not included in the Modelling System is the first rational check, the rational criticism when the empirical hypothesis is rationally contrasted to decide if it is rational.

The first rational check corresponds to the second stage and is made by deductive programs, and this first rational check is going to measure the frequency of wrong attributions of pure reasons as the first try in the empirical hypothesis formation process.

The empirical hypothesis is a product of the synthesis of data from a combination of factors and pure reason, which better explains the relations between the factors according to the data.

Later on, the empirical hypothesis is rationally criticised, and if rational, the empirical hypothesis becomes a rational hypothesis to be included in the rational truth.

The synthesis of data from a combination of factors and a concrete pure reason from a list of pure reasons (a list of possible mathematical or analytical relations between factors), is a synthesis whose operation is an attributional operation, which theoretically matches the correct pure reason to the empirical data collected.

The critique of the pure reason is a program whose database is formed by all the pure reasons, and per pure reason, at least fourteen files, one per rational check or comparison, practically all the rational checks and comparisons are already developed in the Modelling System, with the only exception of the first rational check.

The importance of, in the second stage of the critique of the pure reason, reckoning the frequency of mistakes made when deductive programs wrongly assigned a pure reason to a combination of data in the rational contrastation process itself, as the first rational check, plays a key role in the development of a stronger attributional method. 

If in the critique of the pure reason, is identified any pure reason on the list of pure reasons, whose empirical probability of wrong rational hypotheses, is equal to or greater than a critical reason, that or those pure reasons must be investigated to reformulate the pure reason/s in order to increase its/their accuracy.

What the file related to the first check in every pure reason is going to reckon, is how many times a deductive program assigns the incorrect pure reason to some combination of data, and if the frequency is equal to or greater than a critical reason.

And while the critique of the pure reason is going to control the accuracy of every single pure reason on the list of pure reasons, at the same time, the critique of the deductive programs is going to asses the accuracy of the attributional method working in the deductive programs, so that or those deductive programs with the higher frequency of wrong attributions, should be fixed, analysing which deductive program has the high frequency or wrong attributions, and in which pure reason the wrong attributions are committed more frequently, contrasting the common mathematical structure of that kind of data in which the deductive program has more wrong attributions, and why wrongly the deductive program assigned this pure reason to that data wrongly.

Similar to the critique of pure reason, the critique of the deductive programs must have one file per rational check and rational comparison, counting the frequency of wrong rational hypotheses made by every deductive program found in every rational check and rational comparison.

With the right protocol to analyse the mathematical structure behind some data, the automation of any process to discover mathematical errors made by any deductive program could be easy, and how to fix deductive programs, only observing their more common mistakes, could be automatable.

In fact, what a deductive program must do is to identify the mathematical structure behind any data, assigning the correct pure reason. If this is possible, the inverse process to fix a deductive program is possible too: the analysis of common errors in its attributions, to fix the problem in the program.

The critique of pure reason, as well as the critique of deductive programs, are going to be really important, along with the Learning System, to make decisions about how to improve the Global Artificial Intelligence. And once these decisions are authorised by the Decisional System, these decisions could be put into practice, within the Application System, by Artificial Engineering, which consists of: the Artificial Designer of Intelligence, and the Intelligent Robotic Mechanic.

Rubén García Pedraza, 15th of July of 2018, London
Reviewed 27 August 2019 Madrid
Reviewed 21 August 2023 Madrid
Reviewed 11 May 2025, London, Leytostone
imposiblenever@gmail.com