additional infinite solution conditions