spec3: Use meaningful variable names