implement clause spec