function ``intro''
typing relation blah, wording, open points
output of examples