Added some laws for let which don't quite work yet