better-safe-specifications11