documenting: wires constraint missing