fix premiss