more on logic