Function law_first_seq_is_one 

pub fn law_first_seq_is_one() -> bool