8.6.4 complicated condition logic
8.6.5 test for association