Four and more.

Published in: Ann. Pure Appl. Log. (2006)