Oh im not a c++ guy but that actually looks pretty awesome because it’s like Hoare logic