Example 4

invariant sub {
    my ( $self ) = @_;
    return ( $self->pieces >= 4 
        and $self->pieces <= 64 );
};