Start cross-referencing implementation-defined behaviors...