If Faust is very smart, then how come