Zaslat SMS: Proving the unprovable