a weird bug persists in lab5, but it's pretty much done