S / | \ S + S | /|\ a S + S | | a 1