Implementing rule in program experiment