Title: Solving Church Problems