User:Christopher Johnson (WMDE)/BNFdef