modified spec to check expressive code