a satisfying commit