Can we add an assertion for 'does not write to disk'?