Fixing predicate main-image?