A last minute change of mind to learn about quantifiable boolean formulae.