Text this: Log-rank and lifting for AND-functions