version 0.7, updated 6/13/2023