using isknownsimple to speed things up