syl 20: AG#1
syl 20: AG#2
syl 20: AG#3
syl 20: AG#4