Tests for : and b