A lower bound on web services composition (Logical Methods in Computer Science, 2008)