works, trying with sybolic