`Precondition` doubts. - Sapphire - Imagine a Framework