Completed #4 specification