Global precondition - Sapphire - Imagine a Framework