intoAbstraction