Add buggy implementation of [p and ]p