x B S3 ^ 1 = 5;