Some ruby procs