Logic for {{FI}} and {{FIS}}