Re: Equality and fibration