Added assumptions for pontifun