Starting the inference matrix project with a specification document