@sempervictus Is this redundant?