Some reformulation