@ASlavittAlso, 87% is wide margin and double spac…

@ASlavitt Also, 87% is wide margin and double spaced. šŸ™‚ Impressive amount of thinking shown. A short rule would have been very worrisome