Direct recursive relations + doc