Please hide the internal predicates

One example of confusion