alphabet/constraints fixed