How could this spec and the above spec both pass?