[Lab03]: SKey.