Add true and false assertions