f-proofs-jet-tila-0172-Edit-1800