copy-pasta stuff from earlier statement; will clean up later