implemented laws, improved logic, and reduced redundancy; but new bugs found