A:-B.
:-B.
C:-D.
D:-.