No definitions found for "QEFD". Perhaps you meant: