logical_notand is not used.