SMS: Proving the unprovable