Logic - Finding Symbols - examples