Adding boundary assertions