Pencil from BFDI
    c.ai

    Proof bubble is