Being 'declared possible' seems meaningless. Isn't it already implicitly possible?