fished writing semantic check, not tested yet