fixes and `<=` for assignment