By reducing back - we are left with true form
@