Title: The common basic specification and proving its worth