Doth not depend on reducible