Updated bijection-syntax