Theoretical is similar to Abstract. Abstract is related to Ready. Ready is related to Running. 
Logic is related to Make. Make is a type of Become. 
Theoretical <--SimilarTo--> Abstract <--RelatedTo--> Ready <--RelatedTo--> Running 
Logic <--RelatedTo--> Make --IsA--> Become 