Redirecting to Talk:Term logic/Danielsavoiu's summary