backwards proof ruby syntax