doctrines:minimal_sp