added cheng and church examples