Title: Practical problems in foundations