Some notes on lifting and more todos