Bob_Meyer_(logician) loading ...