5.3, bijection