SmallCheck with Regular