The model should now be close to completion

Added conclusion and guard in Rule