added first version of match-propns, broken match-propn