Add pending spec of example usage of #and