concretize with 1 instead of 0.