inductive derivation of rules

Could not connect to the API.