FK constraints improved