Public predicates.
fix
merge