4 ms·It works for all-quantified statements about sets of size one.by RhysU 5y agoIt works for all-quantified statements about sets of size one.