logic schemes