Application of Dinerstein, Misc. No. 717.

Linked as: