any 
~ implement
~ of that type 
~ actual argument
~ actual parameter
 compile
~ of that 
~ kind of 
 natural 
~ natural number
~ sort of 
~ sufficient
~ terminate 
~ same number of 
~ termination 
 thesis 
 unnatural 
 via 
~ with respect to