Some comments on potential correct implementation