for now - return false when cond is true. resolving now faster. until rewrite - again