Add places to find (derive) logical expression