simplify codes in concepts.jl