Adding Peano definition only miss show-read test