Re: [crux-devel] A case against blackbox