so ' a problem' here is just preexisting math theorems ?