the notation is that of a function that returns a certain complexity class thus type r models were first conceived for racetracks its ground floor acts as the porch