WARNING: history may be rewritten at any time!