Further work on logic processing