Problems in typical Church systems