added syntax, more work on impl