let i \ Jps.a | a tillK