but its is semantically equivalent