© logictoolbox 2004