spec3: readable