Require stable doctrine