Three logicians by Englebretsen