quickfix
add post condition