3 ms·This would be interesting (and useful) if any of the assertions came with explanations.by camdenlock 9y agoThis would be interesting (and useful) if any of the assertions came with explanations.