Abstraction N3
$
$
Left
Right