Solving Church Problems