boxen manifest for NotationalVelocity