closes #1429, closes #1472, closes #1358

We don't need this line any more since it's on the predicate