Layer 1 "aa" "ac" "acb" R { a, b, c } { a } { a, c } A "a"