@sgathrid should we mirror the surface area we're pushing on for topos here as well?
@sgathrid should we mirror the surface area we're pushing on for topos here as well?