original commit; not sound