Interaction and Message Function Preconditions - Sapphire - Imagine a Framework