document how all the magic works
document another trait with some kind of prerequisite