@hashijoozu: thanks for proving