a+~b≠č (a+~b≠č) - Pump
a+~b≠č (a+~b≠č) - Pump