Redefine Q.E.D. so it's filled