Beta

Is there an arrow missing ? (Relations - Part1: Reflexivity)